4U 1909+07: a Hidden Pearl
نویسندگان
چکیده
منابع مشابه
Balancing Lists: A Proof Pearl
Starting with an algorithm to turn lists into full trees which uses non-obvious invariants and partial functions, we progressively encode the invariants in the types of the data, removing most of the burden of a correctness proof. The invariants are encoded using non-uniform inductive types which parallel numerical representations in a style advertised by Okasaki, and a small amount of dependen...
متن کاملPearl: A Probabilistic Chart Parser
This i)al)er describes a Ilatural language i)ars-ing algorith,n for unrestricted text which uses a prol)al)ility-I~ased scoring function to select the "l)est" i)arse of a sclfl,ence. The parser, T~earl, is a time-asynchronous I)ottom-ul) chart parser with Earley-tyl)e tol)-down prediction which l)ur-sues the highest-scoring theory iu the chart, where the score of a theory represents tim extent ...
متن کاملA Pearl for Uterine Fibroids
Why was this study done? Few studies have explored the utility of medical interventions in the management of uterine fibriods. A 2011 report by the Agency of Healthcare Research and Quality [1] concluded that the literature examining the effectiveness of treatment strategies was scanty. Gonadotropinreleasing hormone (GnRH) analogues, such as leuprolide acetate, have shown promise in the suppres...
متن کاملA Remarkable Three Hour Thermonuclear Burst from 4u 1820-30
We present a detailed observational and theoretical study of a ∼ 3 hr long X-ray burst (the " super burst ") observed by the Rossi X-ray Timing Explorer (RXTE) from the low mass X-ray binary (LMXB) 4U 1820-30. This is the longest X-ray burst ever observed from this source, and perhaps one of the longest ever observed in great detail from any source. We show that the super burst is thermonuclear...
متن کاملPearl drops
– If deposited on a hydrophobic rough substrate, a small drop of water can look like a pearl, with a contact angle close to 180. We examine the conditions for observing such a phenomenon and show practical achievements where the contact angle can be predicted and thus quantitatively tuned by the design of the surface microstructure. Presentation. – The contact angle of a drop on a solid is idea...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Polytechnica
سال: 2011
ISSN: 1805-2363,1210-2709
DOI: 10.14311/1326